/* should not generate diagnostics */
a {}
